Theoremproving system

[計(jì)] 定理證明系統(tǒng)

?? 詞語組成解析

theoremproving
[計(jì)] 定理證明
system ['s?st?m]
n. 體系，系統(tǒng);制度;身體;方法;
sy(syn-=together)+ste(to stand)→系統(tǒng)；體系；秩序；制度；方法

??? 情景例句

I got lost for two days and I couldn't find anyone who could understand me.
我已經(jīng)迷路兩天了，找不到一個人可以聽懂我的話。
How long are you going to stay here?
你要在這里停留多久？
My name is Han Meimei. What's your name?
我叫韓梅梅，您呢？
更多情景英語 ›

?? 更多 T 開頭的單詞

全部 T 開頭單詞 ›